GoCo: planning expressive commitment protocols
نویسندگان
چکیده
منابع مشابه
Towards Planning Uncertain Commitment Protocols
In the context of a business process modeled by commitments, agents enact a protocol by carrying out goals that service their part of commitments. In a competitive or even in a cooperative setting, an agent does not know for sure that its partners will successfully act on their part of the commitments. We introduce uncertainty into a successful recent approach of planning first-order commitment...
متن کاملPositron: Composing Commitment Protocols
We consider (commitment) protocols specified formally in terms of their roles, their messages, and the meanings of their messages (expressed as commitments). In an important advance over previous work, we show how to compose protocols, thereby facilitating reuse. We address two role-specific aspects of composition: (1) role requirements, capturing the benefits a role receives from the composite...
متن کاملModel Checking Commitment Protocols
We investigate the problem of verifying commitment protocols that are widely used to regulate interactions among cognitive agents by means of model checking. We present a new logic-based language to specify commitment protocols, which is derived from extending CTL∗ with modalities for social commitments and associated actions. We report on the implementation of the NetBill protocol—a motivated ...
متن کاملBehavior-Oriented Commitment-based Protocols
Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defining the flow of execution, i.e. the behavior the agent should show. The two parts together define the meaning of the interaction. Commitment-based protocols, however, usually do not account for the latter and, when th...
متن کاملSome Thoughts about Commitment Protocols
From the seminal paper by Singh [1], commitments protocols have been raising a lot of attention. The key feature of commitment protocols is their declarative nature, which allows specifying them in a way which abstracts away from any reference to the actual behaviour of the agents. By doing so, commitment protocols respect the autonomy of agents. After more than ten years from the introduction ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Autonomous Agents and Multi-Agent Systems
سال: 2018
ISSN: 1387-2532,1573-7454
DOI: 10.1007/s10458-018-9385-0